Merge pull request #1117 from antonio-nino-diaz-arm/an/xlat-improvements
authordavidcunado-arm <[email protected]>
Mon, 9 Oct 2017 22:09:29 +0000 (23:09 +0100)
committerGitHub <[email protected]>
Mon, 9 Oct 2017 22:09:29 +0000 (23:09 +0100)
Improvements to the translation tables library v2


Trivial merge